// Generated from C:\antlrprojects\logica_proposicional\logprop.g4 by ANTLR 4.1
package dpll.parser;
import org.antlr.v4.runtime.misc.NotNull;
import org.antlr.v4.runtime.tree.ParseTreeListener;

/**
 * This interface defines a complete listener for a parse tree produced by
 * {@link logpropParser}.
 */
public interface logpropListener extends ParseTreeListener {
	/**
	 * Enter a parse tree produced by {@link logpropParser#booleano}.
	 * @param ctx the parse tree
	 */
	void enterBooleano(@NotNull logpropParser.BooleanoContext ctx);
	/**
	 * Exit a parse tree produced by {@link logpropParser#booleano}.
	 * @param ctx the parse tree
	 */
	void exitBooleano(@NotNull logpropParser.BooleanoContext ctx);

	/**
	 * Enter a parse tree produced by {@link logpropParser#termino_final}.
	 * @param ctx the parse tree
	 */
	void enterTermino_final(@NotNull logpropParser.Termino_finalContext ctx);
	/**
	 * Exit a parse tree produced by {@link logpropParser#termino_final}.
	 * @param ctx the parse tree
	 */
	void exitTermino_final(@NotNull logpropParser.Termino_finalContext ctx);

	/**
	 * Enter a parse tree produced by {@link logpropParser#formulas}.
	 * @param ctx the parse tree
	 */
	void enterFormulas(@NotNull logpropParser.FormulasContext ctx);
	/**
	 * Exit a parse tree produced by {@link logpropParser#formulas}.
	 * @param ctx the parse tree
	 */
	void exitFormulas(@NotNull logpropParser.FormulasContext ctx);

	/**
	 * Enter a parse tree produced by {@link logpropParser#condicion}.
	 * @param ctx the parse tree
	 */
	void enterCondicion(@NotNull logpropParser.CondicionContext ctx);
	/**
	 * Exit a parse tree produced by {@link logpropParser#condicion}.
	 * @param ctx the parse tree
	 */
	void exitCondicion(@NotNull logpropParser.CondicionContext ctx);

	/**
	 * Enter a parse tree produced by {@link logpropParser#bicondicion}.
	 * @param ctx the parse tree
	 */
	void enterBicondicion(@NotNull logpropParser.BicondicionContext ctx);
	/**
	 * Exit a parse tree produced by {@link logpropParser#bicondicion}.
	 * @param ctx the parse tree
	 */
	void exitBicondicion(@NotNull logpropParser.BicondicionContext ctx);

	/**
	 * Enter a parse tree produced by {@link logpropParser#parentesis}.
	 * @param ctx the parse tree
	 */
	void enterParentesis(@NotNull logpropParser.ParentesisContext ctx);
	/**
	 * Exit a parse tree produced by {@link logpropParser#parentesis}.
	 * @param ctx the parse tree
	 */
	void exitParentesis(@NotNull logpropParser.ParentesisContext ctx);

	/**
	 * Enter a parse tree produced by {@link logpropParser#negacion}.
	 * @param ctx the parse tree
	 */
	void enterNegacion(@NotNull logpropParser.NegacionContext ctx);
	/**
	 * Exit a parse tree produced by {@link logpropParser#negacion}.
	 * @param ctx the parse tree
	 */
	void exitNegacion(@NotNull logpropParser.NegacionContext ctx);

	/**
	 * Enter a parse tree produced by {@link logpropParser#disyuncion}.
	 * @param ctx the parse tree
	 */
	void enterDisyuncion(@NotNull logpropParser.DisyuncionContext ctx);
	/**
	 * Exit a parse tree produced by {@link logpropParser#disyuncion}.
	 * @param ctx the parse tree
	 */
	void exitDisyuncion(@NotNull logpropParser.DisyuncionContext ctx);

	/**
	 * Enter a parse tree produced by {@link logpropParser#conjuncion}.
	 * @param ctx the parse tree
	 */
	void enterConjuncion(@NotNull logpropParser.ConjuncionContext ctx);
	/**
	 * Exit a parse tree produced by {@link logpropParser#conjuncion}.
	 * @param ctx the parse tree
	 */
	void exitConjuncion(@NotNull logpropParser.ConjuncionContext ctx);

	/**
	 * Enter a parse tree produced by {@link logpropParser#literal}.
	 * @param ctx the parse tree
	 */
	void enterLiteral(@NotNull logpropParser.LiteralContext ctx);
	/**
	 * Exit a parse tree produced by {@link logpropParser#literal}.
	 * @param ctx the parse tree
	 */
	void exitLiteral(@NotNull logpropParser.LiteralContext ctx);

	/**
	 * Enter a parse tree produced by {@link logpropParser#formula}.
	 * @param ctx the parse tree
	 */
	void enterFormula(@NotNull logpropParser.FormulaContext ctx);
	/**
	 * Exit a parse tree produced by {@link logpropParser#formula}.
	 * @param ctx the parse tree
	 */
	void exitFormula(@NotNull logpropParser.FormulaContext ctx);
}